System Fω
無限階
の
ラムダ計算
https://en.wikipedia.org/wiki/System_F#System_Fω
http://ocamllabs.io/fomega/
https://github.com/AndrasKovacs/system-f-omega
TaPL
29,30,31章